Classical groups
Finite groups
Group schemes
Topological groups
Lie groups
Super-Lie groups
Higher groups
Cohomology and Extensions
Related concepts
of a group on a set is called free if for every , the equation implies (the neutral element), hence if only the action of the neutral element has fixed points
Equivalently, an action is free if and only if for any pair of elements , there is at most one group element such that .
Beware the similarity to and difference of free actions with effective action: a free action is effective, but an effective action need not be free.
A free action that is also transitive is called regular (at least after passing to its linear permutation representation).
In one direction, assume that the action is free in the sense of Def. . Then given it follows that and thus that , which by (1) implies that . This implication means that the shear map is injective.
In the other direction, assume that the shear map is injective. Then given , hence equivalently it follows that ( and) . This is the required implication (1).
In the form (2) the definition of free action makes sense more generally for action objects internal to any ambient category (with finite products):
Let be a category with finite products, let be an internal group and an internal action:
Then this is a free action if its shear map is a monomorphism in :
Def. also makes sense in the generality of -category theory, with monomorphisms understood to be (-1)-truncated morphisms.
(free -action in an -topos)
Let
be an -topos;
a group object (a geometric -group);
an -action of on .
we say that the -action is free, if its shear map is (-1)-truncated:
(higher shear maps of free -actions are -truncated)
If an -action is free according to Def. and is inhabited, , then also all its higher shear maps are (-1)-truncated:
Notice that for any effective epimorphism in the -topos , we have for the following homotopy pullback pasting diagram:
Here the two bottom squares are homotopy Cartesian by definition of Cech nerves, and the top square is homotopy Cartesian since the Cech nerve is a groupoid object (see also at groupoid objects in an (∞,1)-topos are effective) which satisfies the groupoidal Segal conditions (by this Def.).
But this implies, for all , that the st shear map is the homotopy fiber product in the arrow category of the 1st with the th shear map over the identity morphism on :
Now the claim follows by induction from the fact that (-1)-truncated morphisms are the right class in an orthogonal factorization system (namely the (n-connected, n-truncated) factorization system for ) and such classes of morphisms are closed under all -limits, in particular under homotopy pullbacks, in the arrow category (by this Prop.).
Any group acts freely on itself by multiplication , which is called the (left) regular representation of .
An action of on a set corresponds to an arbitrary involution , but the action is free just in case is a fixed point-free involution.
There is a rich structure in the classification of free group actions on n-spheres, see there for more.
For any set equipped with a transitive action , the automorphism group of -equivariant automorphisms of (i.e., bijections commuting with the action of ) acts freely on . In particular, suppose is such that for some , and let be arbitrary. By the assumption that acts transitively, there is a such that . But then -equivariance implies that . Since this holds for all , must be equal to the identity , and therefore acts freely on .
A combinatorial species is said to be flat if all of the actions are free (see Combinatorial species and tree-like structures). For example, the species of linear orders is flat.
(homotopy quotients of free -action are plain quotients of 0-truncated group actions)
Let
be an -topos;
a group object (a geometric -group);
an inhabited object, ,
an -action of on .
If this is a free -action (Def. ) then the homotopy quotient
is equivalent to the plain quotient, namely to the coequalizer
of 0-truncated objects
in that
In particular, if both and are already 0-truncated, then the action of on is free iff it is free in the 1-category theoretic sense (3), and then the homotopy quotient coincides with their ordinary quotient.
First we show that is 0-truncated, in that for every and every -group in the inverse image of the terminal geometric morphism, every morphism into it out of factors through the projection onto :
Here denotes the terminal object, which we adjoin, without changing the situation, to bring out the form of the lifting problem.
Incidentally, the left morphism above is an effective epimorphism as shown, hence is (-1)-connected. Threfore, if the right vertical morphism were (-1)-truncated (hence if were subterminal), then the (n-connected, n-truncated) factorization system would imply the required lift. While this would-be argument fails, as is in general far from being subterminal, the following argument observes that with a suitable choice of atlases for all four -stacks, their groupoid objects do form a lifting problem to which the (n-connected, n-truncated) factorization system does apply:
So consider extending the above square diagram to a square of augmented simplicial objects by considering atlases and their Cech nerves, as shown by the following solid arrows:
Observe that all the upper horizontal squares in this diagram have, as indicated:
a (-1)-connected morphisms on the left, since the underlying -groupoid of every discrete -group is inhabited and since , being an inverse image-functor, is a lex left adjoint and hence preserves Cech nerves and -colimits and hence effective epimorphisms.
a (-1)-truncated morphism on the right, by Lemma .
Since -connected/-truncated morphisms in -categories of -presheaves (here: of simplicial objects in ) are detected objectwise (since they are characterized by categorical homotopy groups), this means that the entire square diagram of simplicial objects (i.e. disregarding the bottom square) has a (-1)-connected morphism on the left and a (-1)-truncated morphism in the right. Therefore, the (n-connected, n-truncated) factorization system implies that there exist compatible dashed lifts filling all the upper squares, as shown.
But then taking the -colimit over simplicial objects and using that groupoid objects in an -topos are effective, recovers the bottom square, but now also equipped with a dashed lift. This is the claimed factorization which shows that is 0-truncated;
To conclude the proof of (7), use that is a left adjoint (6), hence preserves -colimits, and also preserves products, i.e. homotopy products (by this Prop.). Here this implies that:
In the second but last line we used (from this Example) that the inclusion of the diagram consisting of a pair of parallel morphisms into the opposite of the simplex category is final functor
meaning that the colimit over a simplicial object in a 1-category is equivalently the coequalizer of the first two face maps.
Last revised on November 3, 2021 at 07:25:34. See the history of this page for a list of all contributions to it.